Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Ts-Wordle: An implementation of Wordle written in TypeScript types
github.com·19h·
Discuss: Hacker News
λLambda Formalization
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·1d
🔓Decompilation
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·5h·
Discuss: Hacker News
🧩WASM Modules
The Guide to the Foundation Models Framework
azamsharp.com·51m·
Discuss: Hacker News
λLambda Formalization
Mike Driscoll: An Intro to ty – The Extremely Fast Python type checker
blog.pythonlibrary.org·1h
🦀Rust Verification
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·1d
🔗Concatenative Programming
What The Heck Just Happened?
code.thheller.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3h·
Discuss: Hacker News, r/programming
🔗Lisp
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·7h·
Discuss: DEV
λLambda Formalization
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
What LLMs Know About Their Users
schneier.com·3h
💻Local LLMs
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·1d
🐛Fuzzing
How much slower is random access, really?
samestep.com·1d·
Discuss: Hacker News
📼Tape Encoding
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2h·
Discuss: Hacker News
🔗Constraint Handling
Threaded Code
muforth.dev·3h·
Discuss: Hacker News
🦀Rust Macros